Integrating Dependability Analysis into the Real-time System Design Process
نویسندگان
چکیده
In this research, we are developing a design framework for integrating dependability analysis into the distributed, heterogeneous, fault-tolerant real-time system design process. We focus on two dependability attributes: reliability and availability. We are implementing this framework on top of existing systems for the design of distributed, real-time systems such as TimeWiz (Ref. 4). This will allow system designers to evaluate system dependability, while other system evaluation concerns, such as system performance and design cost, are analyzed during every step in the system design process. Our system dependability analysis provides choices of system design based on the dependability results. In addition, we perform system dependability evaluation, or optimization, early in the system design process, without needing complete design information. In other words, with incomplete design information, we are able to predict the behavior of system dependability. This will significantly reduce the time and costs of real-time system design.
منابع مشابه
Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models
We are motivated to complement our methodology by integrating collaboration diagrams to facilitate the specification of capsules in UML-RT design models. An improved systematic transformation method to derive a correct and complete formal system specification of real-time systems is established. This article aims at integrating temporal requirements in the design stage of the life cycle of a re...
متن کاملA methodological approach to the formal specification of real-time systems by transformation of UML-RT design models
By following a methodological approach, introduced in a previous work, a correct system specification in terms of CSP+T process algebra is systematically obtained from the UML-RT model of a real-time software system. Among other contributions, this article aims at integrating collaboration diagrams into our approach to facilitate the specification of capsules in UML-RT design models. Thus, an i...
متن کاملDependability Driven System Level Co-Design and Optimization of Embedded Systems
Embedded systems are becoming pervasive in diverse application domains such as automotive, avionic, medical, control and their functionality is increasingly defined by software (SW). Such systems especially in safety-critical (SC) applications, with implications on system dependability and real-time must be designed to be dependable (fault tolerant) enough and have to meet timing requirements i...
متن کاملIntegrating Dependability Analysis into the Design of Distributed Systems 1
The increasing importance and criticality of computers in technical applications have spurred a demand on dependable computers. In these applications acceptance of the system is strongly innuenced by dependability aspects. Consideration of dependability has to be an integral part of system development and has to start at early phases in the design. This paper presents our approach for the integ...
متن کاملIntegrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services
This paper presents a novel flexible, dependable, and reliable operating system design for distributed reconfigurable system on chip. The dependability and reliability are achieved by integrating online model checking technique. Each OS service has different implementations which are further partitioned into small blocks. This operating system design allows the OS service to be adapted at runti...
متن کامل